<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<title>SemOpt: src/PrefAlgorithm.cpp Source File</title>

<link href="tabs.css" rel="stylesheet" type="text/css"/>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
<link href="navtree.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="resize.js"></script>
<script type="text/javascript" src="navtree.js"></script>
<script type="text/javascript">
  $(document).ready(initResizable);
</script>


</head>
<body>
<div id="top"><!-- do not remove this div! -->


<div id="titlearea">
<table cellspacing="0" cellpadding="0">
 <tbody>
 <tr style="height: 56px;">
  
  
  <td style="padding-left: 0.5em;">
   <div id="projectname">SemOpt
   &#160;<span id="projectnumber">0.2alpha5-SCC</span>
   </div>
   
  </td>
  
  
  
 </tr>
 </tbody>
</table>
</div>

<!-- Generated by Doxygen 1.7.6.1 -->
  <div id="navrow1" class="tabs">
    <ul class="tablist">
      <li><a href="index.html"><span>Main&#160;Page</span></a></li>
      <li><a href="annotated.html"><span>Classes</span></a></li>
      <li class="current"><a href="files.html"><span>Files</span></a></li>
    </ul>
  </div>
  <div id="navrow2" class="tabs2">
    <ul class="tablist">
      <li><a href="files.html"><span>File&#160;List</span></a></li>
      <li><a href="globals.html"><span>File&#160;Members</span></a></li>
    </ul>
  </div>
</div>
<div id="side-nav" class="ui-resizable side-nav-resizable">
  <div id="nav-tree">
    <div id="nav-tree-contents">
    </div>
  </div>
  <div id="splitbar" style="-moz-user-select:none;" 
       class="ui-resizable-handle">
  </div>
</div>
<script type="text/javascript">
  initNavTree('PrefAlgorithm_8cpp.html','');
</script>
<div id="doc-content">
<div class="header">
  <div class="headertitle">
<div class="title">src/PrefAlgorithm.cpp</div>  </div>
</div><!--header-->
<div class="contents">
<div class="fragment"><pre class="fragment"><a name="l00001"></a>00001 <span class="preprocessor">#include &quot;PrefAlgorithm.h&quot;</span>
<a name="l00002"></a>00002 
<a name="l00003"></a>00003 <span class="comment">/* utilizzati per la configurazione di semopt. NON elegante piazzarli qui, ma vabbè amen.</span>
<a name="l00004"></a>00004 <span class="comment">         WARNING: non togliere/spostare/nulla, ti prego!!! si incasina tutto e il make piange :( */</span>
<a name="l00005"></a>00005 
<a name="l00006"></a>00006 <span class="keywordtype">bool</span> debug = <span class="keyword">false</span>;
<a name="l00007"></a>00007 <span class="keywordtype">bool</span> externalsat = <span class="keyword">true</span>;
<a name="l00008"></a>00008 <span class="keywordtype">string</span> satsolver;
<a name="l00009"></a>00009 <span class="keywordtype">int</span> labellingconditions = 0;
<a name="l00010"></a>00010 <span class="keywordtype">bool</span> manualopt = <span class="keyword">false</span>;
<a name="l00011"></a>00011 <span class="keywordtype">string</span> inputfile;
<a name="l00012"></a>00012 <span class="keywordtype">string</span> semantics;
<a name="l00013"></a>00013 time_t start;
<a name="l00014"></a>00014 
<a name="l00015"></a>00015 <span class="preprocessor">#define DEBUG_PREFEXT 0 // 0: no debug. 1: minimal. 2: verbose. &gt;3: more verbose...</span>
<a name="l00016"></a>00016 <span class="preprocessor"></span><span class="comment">//#define DEBUG_IMPROVING</span>
<a name="l00017"></a>00017 
<a name="l00018"></a>00018 <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> PrefAlgorithm::calls[CALLING_TYPES] = {0, 0, 0, 0};
<a name="l00019"></a>00019 
<a name="l00020"></a>00020 <span class="keywordtype">void</span> PrefAlgorithm::pushCall(<span class="keywordtype">unsigned</span> <span class="keywordtype">short</span> type) {
<a name="l00021"></a>00021         PrefAlgorithm::calls[type]++;
<a name="l00022"></a>00022 }
<a name="l00023"></a>00023 
<a name="l00024"></a>00024 <span class="keywordtype">unsigned</span> <span class="keywordtype">int</span> PrefAlgorithm::getCalls(<span class="keywordtype">unsigned</span> <span class="keywordtype">short</span> type) {
<a name="l00025"></a>00025         <span class="keywordflow">return</span> PrefAlgorithm::calls[type];
<a name="l00026"></a>00026 }
<a name="l00027"></a>00027 
<a name="l00028"></a>00028 <span class="comment">//TODO documentation</span>
<a name="l00029"></a>00029 PrefAlgorithm::PrefAlgorithm(<span class="keywordtype">string</span> graphPath) {
<a name="l00030"></a>00030         inputfile = string(graphPath);
<a name="l00031"></a>00031         this-&gt;framework = <a class="code" href="classAF.html" title="Class encompassing an Argumentation Framework.">AF</a>();
<a name="l00032"></a>00032         this-&gt;preferred=Preferred();
<a name="l00033"></a>00033         <span class="keywordflow">if</span> (!framework.readFile(inputfile)){
<a name="l00034"></a>00034                 cout &lt;&lt; <span class="stringliteral">&quot;cannot read the file&quot;</span> &lt;&lt; endl;
<a name="l00035"></a>00035                 exit(1);
<a name="l00036"></a>00036         }
<a name="l00037"></a>00037 }
<a name="l00038"></a>00038 
<a name="l00039"></a>00039 <span class="comment">//TODO migliorare la documentazione! non spiega nulla!</span>
<a name="l00041"></a>00041 <span class="comment"></span><span class="keywordtype">void</span> callGrounded(<a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>* G, <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>* C, <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>* temp_e, <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>* I) {
<a name="l00042"></a>00042 
<a name="l00043"></a>00043 <span class="preprocessor">        #ifdef CHRONOPREF</span>
<a name="l00044"></a>00044 <span class="preprocessor"></span>                <span class="keyword">auto</span> t1 = chrono::high_resolution_clock::now();
<a name="l00045"></a>00045 <span class="preprocessor">        #endif</span>
<a name="l00046"></a>00046 <span class="preprocessor"></span>                <a class="code" href="classGrounded.html#a7825cea0732284e135768d4d25283b42" title="Computes the Grounded Algorithm.">Grounded::doGrounded</a>(*G, *C, temp_e, I);
<a name="l00047"></a>00047 <span class="preprocessor">        #ifdef CHRONOPREF</span>
<a name="l00048"></a>00048 <span class="preprocessor"></span>                <span class="keyword">auto</span> t2 = chrono::high_resolution_clock::now();
<a name="l00049"></a>00049                 <span class="keyword">auto</span> msecs = chrono::duration_cast&lt;chrono::milliseconds&gt;(t2-t1).count();
<a name="l00050"></a>00050                 <span class="keywordflow">if</span>(msecs)
<a name="l00051"></a>00051                         cout &lt;&lt; <span class="stringliteral">&quot;\tGrounded call took &quot;</span> &lt;&lt; msecs &lt;&lt; <span class="stringliteral">&quot; milliseconds.&quot;</span> &lt;&lt; endl;
<a name="l00052"></a>00052                 <span class="keywordflow">else</span>
<a name="l00053"></a>00053                         cout &lt;&lt; <span class="stringliteral">&quot;\tGrounded call took less than 1 millisecond.&quot;</span> &lt;&lt; endl;
<a name="l00054"></a>00054 <span class="preprocessor">        #endif</span>
<a name="l00055"></a>00055 <span class="preprocessor"></span>        PrefAlgorithm::pushCall(GROUNDED_CALL);
<a name="l00056"></a>00056 }
<a name="l00057"></a>00057 
<a name="l00058"></a>00058 <span class="comment">//TODO migliorare la documentazione! non spiega nulla!</span>
<a name="l00060"></a>00060 <span class="comment"></span><span class="keywordtype">void</span> callBoundcond(<a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>* G, <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>* S_i, <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>* e, <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>* O, <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>* I) {
<a name="l00061"></a>00061 
<a name="l00062"></a>00062 <span class="preprocessor">        #ifdef CHRONOPREF</span>
<a name="l00063"></a>00063 <span class="preprocessor"></span>                <span class="keyword">auto</span> t1 = chrono::high_resolution_clock::now();
<a name="l00064"></a>00064 <span class="preprocessor">        #endif</span>
<a name="l00065"></a>00065 <span class="preprocessor"></span>                Boundcond::doBoundcond(G, S_i, e, O, I);
<a name="l00066"></a>00066 <span class="preprocessor">        #ifdef CHRONOPREF</span>
<a name="l00067"></a>00067 <span class="preprocessor"></span>                <span class="keyword">auto</span> t2 = chrono::high_resolution_clock::now();
<a name="l00068"></a>00068                 <span class="keyword">auto</span> msecs = chrono::duration_cast&lt;chrono::milliseconds&gt;(t2-t1).count();
<a name="l00069"></a>00069                 <span class="keywordflow">if</span>(msecs)
<a name="l00070"></a>00070                         cout &lt;&lt; <span class="stringliteral">&quot;\tBoundcond call took &quot;</span> &lt;&lt; msecs &lt;&lt; <span class="stringliteral">&quot; milliseconds.&quot;</span> &lt;&lt; endl;
<a name="l00071"></a>00071                 <span class="keywordflow">else</span>
<a name="l00072"></a>00072                         cout &lt;&lt; <span class="stringliteral">&quot;\tBoundcond call took less than 1 millisecond.&quot;</span> &lt;&lt; endl;
<a name="l00073"></a>00073 <span class="preprocessor">        #endif</span>
<a name="l00074"></a>00074 <span class="preprocessor"></span>        PrefAlgorithm::pushCall(BOUNDCOND_CALL);
<a name="l00075"></a>00075 
<a name="l00076"></a>00076 <span class="preprocessor">        #if DEBUG_PREFEXT &gt; 0</span>
<a name="l00077"></a>00077 <span class="preprocessor"></span>                cout &lt;&lt; <span class="stringliteral">&quot;calling boundcond with A = G = &quot;</span> &lt;&lt; *G &lt;&lt; endl; <span class="comment">//G.printNodeRelations();</span>
<a name="l00078"></a>00078                 cout &lt;&lt; <span class="stringliteral">&quot;calling boundcond with B = S[i] = &quot;</span> &lt;&lt; *S_i &lt;&lt; endl; <span class="comment">//S_i-&gt;printNodeRelations();</span>
<a name="l00079"></a>00079                 cout &lt;&lt; <span class="stringliteral">&quot;calling boundcond with C = Ep[j] = &quot;</span> &lt;&lt; *e &lt;&lt; endl;
<a name="l00080"></a>00080                 cout &lt;&lt; <span class="stringliteral">&quot;Boundcond returned: O= &quot;</span>&lt;&lt; *O &lt;&lt;<span class="stringliteral">&quot;; I= &quot;</span>&lt;&lt; *I &lt;&lt; endl;
<a name="l00081"></a>00081 <span class="preprocessor">        #endif</span>
<a name="l00082"></a>00082 <span class="preprocessor"></span>}
<a name="l00083"></a>00083 
<a name="l00084"></a>00084 <span class="comment">//TODO migliorare la documentazione! non spiega nulla!</span>
<a name="l00086"></a>00086 <span class="comment"></span><span class="keywordtype">void</span> callSCCSEQ(<a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> *G, vector&lt;SetArguments*&gt;* sccSet) {
<a name="l00087"></a>00087 
<a name="l00088"></a>00088 <span class="preprocessor">        #ifdef CHRONOPREF</span>
<a name="l00089"></a>00089 <span class="preprocessor"></span>                <span class="keyword">auto</span> t1 = chrono::high_resolution_clock::now();
<a name="l00090"></a>00090 <span class="preprocessor">        #endif</span>
<a name="l00091"></a>00091 <span class="preprocessor"></span>                SCCSEQ::performSCCSEQ(G, sccSet);
<a name="l00092"></a>00092 <span class="preprocessor">        #ifdef CHRONOPREF</span>
<a name="l00093"></a>00093 <span class="preprocessor"></span>                <span class="keyword">auto</span> t2 = chrono::high_resolution_clock::now();
<a name="l00094"></a>00094                 <span class="keyword">auto</span> msecs = chrono::duration_cast&lt;chrono::milliseconds&gt;(t2-t1).count();
<a name="l00095"></a>00095                 <span class="keywordflow">if</span>(msecs)
<a name="l00096"></a>00096                         cout &lt;&lt; <span class="stringliteral">&quot;\tSCCSEQ call took &quot;</span> &lt;&lt; msecs &lt;&lt; <span class="stringliteral">&quot; milliseconds.&quot;</span> &lt;&lt; endl;
<a name="l00097"></a>00097                 <span class="keywordflow">else</span>
<a name="l00098"></a>00098                         cout &lt;&lt; <span class="stringliteral">&quot;\tSCCSEQ call took less than 1 millisecond.&quot;</span> &lt;&lt; endl;
<a name="l00099"></a>00099 <span class="preprocessor">        #endif</span>
<a name="l00100"></a>00100 <span class="preprocessor"></span>
<a name="l00101"></a>00101 <span class="preprocessor">        #if DEBUG_PREFEXT &gt; 1</span>
<a name="l00102"></a>00102 <span class="preprocessor"></span>                cout &lt;&lt; <span class="stringliteral">&quot;*************** SCCSEQ ***************&quot;</span>&lt;&lt;endl;
<a name="l00103"></a>00103                 <span class="keywordflow">for</span> (<span class="keyword">auto</span> it=sccSet-&gt;begin();it!=sccSet-&gt;end();it++)
<a name="l00104"></a>00104                         cout &lt;&lt; <span class="stringliteral">&quot;set in SCCSET: &quot;</span> &lt;&lt; **it &lt;&lt; endl;
<a name="l00105"></a>00105                 cout &lt;&lt; <span class="stringliteral">&quot;--------------------------------------&quot;</span>&lt;&lt;endl;
<a name="l00106"></a>00106 <span class="preprocessor">        #endif</span>
<a name="l00107"></a>00107 <span class="preprocessor"></span>}
<a name="l00108"></a>00108 
<a name="l00109"></a>00109 <span class="comment">//TODO migliorare la documentazione! non spiega nulla!</span>
<a name="l00111"></a>00111 <span class="comment"></span><span class="keywordtype">void</span> callPrefSAT(Preferred* pref, <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>* Gamma_Down_Si, <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>* I_Intersect_C, <a class="code" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a>* E_star) {
<a name="l00112"></a>00112 
<a name="l00113"></a>00113 <span class="preprocessor">        #ifdef CHRONOPREF</span>
<a name="l00114"></a>00114 <span class="preprocessor"></span>                <span class="keyword">auto</span> t1 = chrono::high_resolution_clock::now();
<a name="l00115"></a>00115 <span class="preprocessor">        #endif</span>
<a name="l00116"></a>00116 <span class="preprocessor"></span>                pref-&gt;prefSAT(Gamma_Down_Si, I_Intersect_C);
<a name="l00117"></a>00117 <span class="preprocessor">        #ifdef CHRONOPREF</span>
<a name="l00118"></a>00118 <span class="preprocessor"></span>                <span class="keyword">auto</span> t2 = chrono::high_resolution_clock::now();
<a name="l00119"></a>00119                 <span class="keyword">auto</span> msecs = chrono::duration_cast&lt;chrono::milliseconds&gt;(t2-t1).count();
<a name="l00120"></a>00120                 <span class="keywordflow">if</span>(msecs)
<a name="l00121"></a>00121                         cout &lt;&lt; <span class="stringliteral">&quot;\tPrefSAT call took &quot;</span> &lt;&lt; msecs &lt;&lt; <span class="stringliteral">&quot; milliseconds.&quot;</span> &lt;&lt; endl;
<a name="l00122"></a>00122                 <span class="keywordflow">else</span>
<a name="l00123"></a>00123                         cout &lt;&lt; <span class="stringliteral">&quot;\tPrefSAT call took less than 1 millisecond.&quot;</span> &lt;&lt; endl;
<a name="l00124"></a>00124 <span class="preprocessor">        #endif</span>
<a name="l00125"></a>00125 <span class="preprocessor"></span>        PrefAlgorithm::pushCall(SATPREF_CALL);
<a name="l00126"></a>00126         *E_star = *(pref-&gt;getSolution());
<a name="l00127"></a>00127 }
<a name="l00128"></a>00128 
<a name="l00146"></a>00146 <a class="code" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a> PrefAlgorithm::handlePref(<span class="keywordtype">bool</span> improved) {
<a name="l00147"></a>00147         <span class="keywordflow">if</span>(improved)
<a name="l00148"></a>00148                 <span class="keywordflow">return</span> PrefImproved(*framework.get_arguments(), *framework.get_arguments());
<a name="l00149"></a>00149         <span class="keywordflow">else</span>
<a name="l00150"></a>00150                 <span class="keywordflow">return</span> Pref(*framework.get_arguments(), *framework.get_arguments());
<a name="l00151"></a>00151 }
<a name="l00152"></a>00152 
<a name="l00153"></a>00153 <span class="comment">//TODO migliorare la documentazione! non spiega nulla!</span>
<a name="l00155"></a>00155 <span class="comment"></span><a class="code" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a> PrefAlgorithm::Pref(<a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> G, <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> C) {
<a name="l00156"></a>00156 
<a name="l00157"></a>00157 <span class="preprocessor">        #if DEBUG_PREFEXT &gt; 0</span>
<a name="l00158"></a>00158 <span class="preprocessor"></span>                cout &lt;&lt; <span class="stringliteral">&quot;PREF starts with G = &quot;</span> &lt;&lt; G &lt;&lt; <span class="stringliteral">&quot;, C = &quot;</span> &lt;&lt; C &lt;&lt; endl;
<a name="l00159"></a>00159 <span class="preprocessor">        #endif</span>
<a name="l00160"></a>00160 <span class="preprocessor"></span>        PrefAlgorithm::pushCall(PREF_CALL);
<a name="l00161"></a>00161 
<a name="l00162"></a>00162         <span class="comment">//represents the initial area where to store the results of Grounded. After that, tempe will be added to Ep</span>
<a name="l00163"></a>00163         <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> temp_e;
<a name="l00164"></a>00164         <a class="code" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a> Ep;
<a name="l00165"></a>00165         <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> O;
<a name="l00166"></a>00166         <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> I;
<a name="l00167"></a>00167         <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> e;
<a name="l00168"></a>00168         vector&lt;SetArguments*&gt; sccSet;
<a name="l00169"></a>00169         <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>* S_i;
<a name="l00170"></a>00170         <a class="code" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a> Ep_new, E_star;
<a name="l00171"></a>00171 
<a name="l00172"></a>00172         <span class="comment">/* **************** GROUNDED *********************/</span>
<a name="l00173"></a>00173 
<a name="l00174"></a>00174         callGrounded(&amp;G, &amp;C, &amp;temp_e, &amp;I);
<a name="l00175"></a>00175 
<a name="l00176"></a>00176         Ep = <a class="code" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a>();
<a name="l00177"></a>00177         Ep.<a class="code" href="classSetArgumentsVector.html#ae6509c9af6ffd7d9bbee2e0fbe3691ec" title="add a new SetArguments in this set">push_back</a>(&amp;temp_e);  <span class="comment">// Ep &lt;- {e}</span>
<a name="l00178"></a>00178 <span class="preprocessor">        #if DEBUG_PREFEXT &gt; 1</span>
<a name="l00179"></a>00179 <span class="preprocessor"></span>                cout &lt;&lt; <span class="stringliteral">&quot;Dopo Grounded, Ep = &quot;</span> &lt;&lt; e &lt;&lt;endl;
<a name="l00180"></a>00180 <span class="preprocessor">        #endif</span>
<a name="l00181"></a>00181 <span class="preprocessor"></span>        <span class="keywordflow">if</span> (!I.<a class="code" href="classSetArguments.html#a66d5b1cc6b684700c2394a8cf62ef7f0" title="Retuns the cardinality of this set.">cardinality</a>()) {
<a name="l00182"></a>00182 <span class="preprocessor">                #if DEBUG_PREFEXT &gt; 1</span>
<a name="l00183"></a>00183 <span class="preprocessor"></span>                        cout &lt;&lt; <span class="stringliteral">&quot;Pref si arresta correttamente dopo Grounded. Ep = {e}&quot;</span> &lt;&lt; endl &lt;&lt;<span class="stringliteral">&quot;e:\t&quot;</span> &lt;&lt; e &lt;&lt; endl;
<a name="l00184"></a>00184 <span class="preprocessor">                #endif</span>
<a name="l00185"></a>00185 <span class="preprocessor"></span>                <span class="keywordflow">return</span> Ep;
<a name="l00186"></a>00186         }
<a name="l00187"></a>00187         <span class="comment">/* **************** RESTRICT TO  *****************/</span>
<a name="l00188"></a>00188 
<a name="l00189"></a>00189         <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> res;
<a name="l00190"></a>00190         G.<a class="code" href="classSetArguments.html#a58ec72f524211aaf319f6d50a2ab18ce" title="return all nodes contained in the caller set and contained in other.">setSafeRestrict</a>(&amp;I, &amp;res);
<a name="l00191"></a>00191         G = res;
<a name="l00192"></a>00192 
<a name="l00193"></a>00193         <span class="comment">/* **************** SCCSEQ ***********************/</span>
<a name="l00194"></a>00194 
<a name="l00195"></a>00195         sccSet = vector&lt;SetArguments*&gt;();
<a name="l00196"></a>00196         callSCCSEQ(&amp;G, &amp;sccSet);
<a name="l00197"></a>00197 
<a name="l00198"></a>00198         <span class="comment">/* **************** PREF&#39;S FOR **********************/</span>
<a name="l00199"></a>00199 
<a name="l00200"></a>00200         <span class="keywordflow">for</span>(<span class="keyword">auto</span> it_sccSet=sccSet.begin(); it_sccSet!=sccSet.end(); it_sccSet++) {
<a name="l00201"></a>00201 
<a name="l00202"></a>00202                 S_i = *it_sccSet;
<a name="l00203"></a>00203                 Ep_new = <a class="code" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a>();
<a name="l00204"></a>00204                 E_star = <a class="code" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a>();
<a name="l00205"></a>00205 
<a name="l00206"></a>00206                 <span class="keywordflow">for</span>(<span class="keyword">auto</span> it_Ep=Ep.<a class="code" href="classSetArgumentsVector.html#aa633ab749e1200f2321d80ce76a98505" title="return the first element of the list">begin</a>(); it_Ep!=Ep.<a class="code" href="classSetArgumentsVector.html#a9a862e30af38a72e402e1ae4f7f5425b" title="return the last element of the list">end</a>(); it_Ep++) {
<a name="l00207"></a>00207 
<a name="l00208"></a>00208                         I = <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>();
<a name="l00209"></a>00209                         O = <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>();
<a name="l00210"></a>00210                         e = **it_Ep;
<a name="l00211"></a>00211 
<a name="l00212"></a>00212                         callBoundcond(&amp;G, S_i, &amp;e, &amp;O, &amp;I);
<a name="l00213"></a>00213 
<a name="l00214"></a>00214                         <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> Gamma_Down_Si;
<a name="l00215"></a>00215                         <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> Gamma_Down_Si_Minus_O;
<a name="l00216"></a>00216                         <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> I_Intersect_C;
<a name="l00217"></a>00217                         <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> Si_Minus_O;
<a name="l00218"></a>00218 
<a name="l00219"></a>00219                         <span class="keywordflow">if</span> (O.<a class="code" href="classSetArguments.html#a91e548daa6d0859946c8604b1ebb8c5a" title="Check wether or not this set is empty.">empty</a>()) {
<a name="l00220"></a>00220                                 <span class="comment">//in this part of the if O is useless --&gt; we can free it now</span>
<a name="l00221"></a>00221                                 <span class="comment">//delete O;</span>
<a name="l00222"></a>00222                                 <span class="keywordflow">if</span> (!I.<a class="code" href="classSetArguments.html#a91e548daa6d0859946c8604b1ebb8c5a" title="Check wether or not this set is empty.">empty</a>()) {
<a name="l00223"></a>00223 
<a name="l00224"></a>00224                                         Gamma_Down_Si = <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>();
<a name="l00225"></a>00225                                         I_Intersect_C = <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>();
<a name="l00226"></a>00226                                         G.<a class="code" href="classSetArguments.html#a58ec72f524211aaf319f6d50a2ab18ce" title="return all nodes contained in the caller set and contained in other.">setSafeRestrict</a>(S_i, &amp;Gamma_Down_Si);
<a name="l00227"></a>00227                                         I.<a class="code" href="classSetArguments.html#ae6761b6c360e440de55c2060ae70981c" title="Intersect this set the `other` set and write the result in `res`.">intersect</a>(&amp;C, &amp;I_Intersect_C);
<a name="l00228"></a>00228                                         callPrefSAT(&amp;(this-&gt;preferred), &amp;Gamma_Down_Si, &amp;I_Intersect_C, &amp;E_star);
<a name="l00229"></a>00229                                 }
<a name="l00230"></a>00230                                 <span class="comment">// else, E* &lt;- emptySet is implicit from initialization</span>
<a name="l00231"></a>00231                         }
<a name="l00232"></a>00232                         <span class="keywordflow">else</span> {
<a name="l00233"></a>00233                                 Gamma_Down_Si_Minus_O = <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>();
<a name="l00234"></a>00234                                 Si_Minus_O = <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>();
<a name="l00235"></a>00235                                 I_Intersect_C = <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>();
<a name="l00236"></a>00236                                 I.<a class="code" href="classSetArguments.html#ae6761b6c360e440de55c2060ae70981c" title="Intersect this set the `other` set and write the result in `res`.">intersect</a>(&amp;C, &amp;I_Intersect_C);
<a name="l00237"></a>00237                                 S_i-&gt;<a class="code" href="classSetArguments.html#a80e626de391cabfc0a20da509c328055" title="Setmisun.">setminus</a>(&amp;O, &amp;Si_Minus_O);
<a name="l00238"></a>00238                                 <span class="comment">//in this part of the if only now O is useless</span>
<a name="l00239"></a>00239                                 <span class="comment">//delete O;</span>
<a name="l00240"></a>00240                                 G.<a class="code" href="classSetArguments.html#a58ec72f524211aaf319f6d50a2ab18ce" title="return all nodes contained in the caller set and contained in other.">setSafeRestrict</a>(&amp;Si_Minus_O, &amp;Gamma_Down_Si_Minus_O);
<a name="l00241"></a>00241                                 E_star = this-&gt;Pref(Gamma_Down_Si_Minus_O, I_Intersect_C);
<a name="l00242"></a>00242                         }
<a name="l00243"></a>00243                         E_star.<a class="code" href="classSetArgumentsVector.html#a92e628177038610e3ec4e34a76e46f6f" title="add to all the set in the SetArgumentsVector the elements stored in the parameter">addSetArgumentsToAll</a>(&amp;e);
<a name="l00244"></a>00244                         Ep_new = Ep_new + E_star;
<a name="l00245"></a>00245                 }
<a name="l00246"></a>00246                 Ep = Ep_new;
<a name="l00247"></a>00247         }
<a name="l00248"></a>00248 
<a name="l00249"></a>00249         <span class="comment">//scc must be deallocated</span>
<a name="l00250"></a>00250         <span class="keywordflow">for</span> (<span class="keyword">auto</span> it=sccSet.begin();it!=sccSet.end();it++){
<a name="l00251"></a>00251                 <span class="keyword">delete</span> (*it);
<a name="l00252"></a>00252         }
<a name="l00253"></a>00253 
<a name="l00254"></a>00254         <span class="keywordflow">return</span> Ep;
<a name="l00255"></a>00255 }
<a name="l00256"></a>00256 
<a name="l00257"></a>00257 <span class="comment">// ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~</span>
<a name="l00258"></a>00258 
<a name="l00259"></a>00259 <span class="comment">//TODO migliorare la documentazione! non spiega nulla!</span>
<a name="l00261"></a>00261 <span class="comment"></span><a class="code" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a> PrefAlgorithm::PrefImproved(<a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> G, <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> C) {
<a name="l00262"></a>00262 
<a name="l00263"></a>00263 <span class="preprocessor">        #if DEBUG_PREFEXT &gt; 0</span>
<a name="l00264"></a>00264 <span class="preprocessor"></span>                cout &lt;&lt; <span class="stringliteral">&quot;PREF starts with G = &quot;</span> &lt;&lt; G &lt;&lt; <span class="stringliteral">&quot;, C = &quot;</span> &lt;&lt; C &lt;&lt; endl;
<a name="l00265"></a>00265 <span class="preprocessor">        #endif</span>
<a name="l00266"></a>00266 <span class="preprocessor"></span>        PrefAlgorithm::pushCall(PREF_CALL);
<a name="l00267"></a>00267 
<a name="l00268"></a>00268         <span class="comment">//represents the initial area where to store the results of Grounded. After that, tempe will be added to Ep</span>
<a name="l00269"></a>00269         <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> temp_e;
<a name="l00270"></a>00270         <a class="code" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a> Ep;
<a name="l00271"></a>00271         <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> O;
<a name="l00272"></a>00272         <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> I;
<a name="l00273"></a>00273         <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> e;
<a name="l00274"></a>00274         vector&lt;SetArguments*&gt; sccSet;
<a name="l00275"></a>00275         <a class="code" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a> Ep_new, E_star;
<a name="l00276"></a>00276         <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> *S_i, *S_i_prec;
<a name="l00277"></a>00277 
<a name="l00278"></a>00278         <span class="comment">// stored now for optimization. A later comparison would be corrupted since G changes when set restricted to I</span>
<a name="l00279"></a>00279         <span class="keywordtype">bool</span> isGequalToC = G.<a class="code" href="classSetArguments.html#a0c4a6994f83dfccf2d34022cb132b782" title="verify that 2 SetArguments are equal">equal</a>(C);
<a name="l00280"></a>00280 
<a name="l00281"></a>00281         <span class="comment">/* **************** GROUNDED *********************/</span>
<a name="l00282"></a>00282 
<a name="l00283"></a>00283         <span class="keywordflow">if</span>(isGequalToC and G.<a class="code" href="classSetArguments.html#a66d5b1cc6b684700c2394a8cf62ef7f0" title="Retuns the cardinality of this set.">cardinality</a>()==1) {
<a name="l00284"></a>00284 <span class="preprocessor">                #ifdef DEBUG_IMPROVING</span>
<a name="l00285"></a>00285 <span class="preprocessor"></span>                        cout &lt;&lt; <span class="stringliteral">&quot;°°°°°°°°° I should not call Grounded!!!&quot;</span>&lt;&lt; endl;
<a name="l00286"></a>00286 <span class="preprocessor">                #endif</span>
<a name="l00287"></a>00287 <span class="preprocessor"></span>                temp_e = G;
<a name="l00288"></a>00288                 I = <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>();
<a name="l00289"></a>00289         }
<a name="l00290"></a>00290         <span class="keywordflow">else</span>
<a name="l00291"></a>00291                 callGrounded(&amp;G, &amp;C, &amp;temp_e, &amp;I);
<a name="l00292"></a>00292 
<a name="l00293"></a>00293         Ep = <a class="code" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a>();
<a name="l00294"></a>00294         Ep.<a class="code" href="classSetArgumentsVector.html#ae6509c9af6ffd7d9bbee2e0fbe3691ec" title="add a new SetArguments in this set">push_back</a>(&amp;temp_e);
<a name="l00295"></a>00295 <span class="preprocessor">        #if DEBUG_PREFEXT &gt; 1</span>
<a name="l00296"></a>00296 <span class="preprocessor"></span>                cout &lt;&lt; <span class="stringliteral">&quot;Dopo Grounded, Ep = &quot;</span> &lt;&lt; e &lt;&lt;endl;
<a name="l00297"></a>00297 <span class="preprocessor">        #endif</span>
<a name="l00298"></a>00298 <span class="preprocessor"></span>        <span class="keywordflow">if</span> (!I.<a class="code" href="classSetArguments.html#a66d5b1cc6b684700c2394a8cf62ef7f0" title="Retuns the cardinality of this set.">cardinality</a>()) {
<a name="l00299"></a>00299 <span class="preprocessor">                #if DEBUG_PREFEXT &gt; 1</span>
<a name="l00300"></a>00300 <span class="preprocessor"></span>                        cout &lt;&lt; <span class="stringliteral">&quot;Pref si arresta correttamente dopo Grounded. Ep = {e}&quot;</span> &lt;&lt; endl &lt;&lt;<span class="stringliteral">&quot;e:\t&quot;</span> &lt;&lt; e &lt;&lt; endl;
<a name="l00301"></a>00301 <span class="preprocessor">                #endif</span>
<a name="l00302"></a>00302 <span class="preprocessor"></span>                <span class="keywordflow">return</span> Ep;
<a name="l00303"></a>00303         }
<a name="l00304"></a>00304         <span class="comment">/* **************** RESTRICT TO  *****************/</span>
<a name="l00305"></a>00305 
<a name="l00306"></a>00306         <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> res;
<a name="l00307"></a>00307         G.<a class="code" href="classSetArguments.html#a58ec72f524211aaf319f6d50a2ab18ce" title="return all nodes contained in the caller set and contained in other.">setSafeRestrict</a>(&amp;I, &amp;res);
<a name="l00308"></a>00308         G = res;
<a name="l00309"></a>00309 
<a name="l00310"></a>00310         <span class="comment">/* **************** SCCSEQ ***********************/</span>
<a name="l00311"></a>00311 
<a name="l00312"></a>00312         sccSet = vector&lt;SetArguments*&gt;();
<a name="l00313"></a>00313         callSCCSEQ(&amp;G, &amp;sccSet);
<a name="l00314"></a>00314 
<a name="l00315"></a>00315         <span class="comment">/* **************** PREF&#39;S FOR **********************/</span>
<a name="l00316"></a>00316         S_i = <span class="keyword">new</span> <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>();
<a name="l00317"></a>00317         S_i_prec = <span class="keyword">new</span> <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>();
<a name="l00318"></a>00318 
<a name="l00319"></a>00319         <span class="keywordflow">for</span>(<span class="keyword">auto</span> it_sccSet=sccSet.begin(); it_sccSet!=sccSet.end(); it_sccSet++) {
<a name="l00320"></a>00320 
<a name="l00321"></a>00321                 Ep_new = <a class="code" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a>();
<a name="l00322"></a>00322                 E_star = <a class="code" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a>();
<a name="l00323"></a>00323 
<a name="l00324"></a>00324                 S_i_prec = S_i;
<a name="l00325"></a>00325                 S_i = *it_sccSet;
<a name="l00326"></a>00326 
<a name="l00327"></a>00327                 vector&lt;SetArguments*&gt;* a_i = <a class="code" href="classSCCSEQ.html#adb5a0f5c376f3e0485bccd119e33a127">SCCSEQ::getFathersUnion</a>(&amp;sccSet, S_i);
<a name="l00328"></a>00328 
<a name="l00329"></a>00329 <span class="preprocessor">                #if DEBUG_PREFEXT &gt; 0</span>
<a name="l00330"></a>00330 <span class="preprocessor"></span>                        cout &lt;&lt; <span class="stringliteral">&quot;************************* sccSet: &quot;</span>&lt;&lt; *S_i &lt;&lt;<span class="stringliteral">&quot; *******************************&quot;</span>&lt;&lt;endl;
<a name="l00331"></a>00331                         cout &lt;&lt; <span class="stringliteral">&quot;Ep: &quot;</span>&lt;&lt; Ep &lt;&lt; endl;
<a name="l00332"></a>00332                         cout &lt;&lt; <span class="stringliteral">&quot;a_i = &quot;</span> &lt;&lt; *a_i &lt;&lt; endl;
<a name="l00333"></a>00333                         cout &lt;&lt; <span class="stringliteral">&quot;S_i_prec = &quot;</span> &lt;&lt; *S_i_prec &lt;&lt; endl;
<a name="l00334"></a>00334 <span class="preprocessor">                #endif</span>
<a name="l00335"></a>00335 <span class="preprocessor"></span>
<a name="l00336"></a>00336                 <span class="keywordtype">bool</span> a_i_empty = a_i-&gt;<a class="code" href="classSetArguments.html#a91e548daa6d0859946c8604b1ebb8c5a" title="Check wether or not this set is empty.">empty</a>();
<a name="l00337"></a>00337                 <span class="keywordtype">bool</span> S_i_prec_is_father = <span class="keyword">true</span>;
<a name="l00338"></a>00338 
<a name="l00339"></a>00339 <span class="preprocessor">                #ifdef DEBUG_IMPROVING</span>
<a name="l00340"></a>00340 <span class="preprocessor"></span>                        <span class="keywordflow">if</span>(isGequalToC) {
<a name="l00341"></a>00341                                 <span class="keywordflow">if</span>(a_i_empty) {
<a name="l00342"></a>00342                                         cout &lt;&lt; <span class="stringliteral">&quot;alpha(i) is empty, G=C. For all e in Ep, expecting Boundcond O to be {}, and I always equal to S_i = &quot;</span> &lt;&lt; endl;
<a name="l00343"></a>00343                                 }
<a name="l00344"></a>00344                                 <span class="keywordflow">else</span> <span class="keywordflow">if</span>(it_sccSet!=sccSet.begin() and std::find(a_i-&gt;begin(), a_i-&gt;end(), S_i_prec) == a_i-&gt;end()) {
<a name="l00345"></a>00345                                         S_i_prec_is_father = <span class="keyword">false</span>;
<a name="l00346"></a>00346                                         cout &lt;&lt; <span class="stringliteral">&quot;S_i_prec is not a father of S_i. For all e in Ep, expecting Boundcond O to be equal. which I ? maybe S_i = &quot;</span> &lt;&lt; *S_i &lt;&lt; endl;
<a name="l00347"></a>00347                                 }
<a name="l00348"></a>00348                         }
<a name="l00349"></a>00349 <span class="preprocessor">                #endif</span>
<a name="l00350"></a>00350 <span class="preprocessor"></span>
<a name="l00351"></a>00351                 <span class="keywordflow">for</span>(<span class="keyword">auto</span> it_Ep=Ep.<a class="code" href="classSetArgumentsVector.html#aa633ab749e1200f2321d80ce76a98505" title="return the first element of the list">begin</a>(); it_Ep!=Ep.<a class="code" href="classSetArgumentsVector.html#a9a862e30af38a72e402e1ae4f7f5425b" title="return the last element of the list">end</a>(); it_Ep++) {
<a name="l00352"></a>00352 <span class="preprocessor">                        #if DEBUG_PREFEXT &gt; 0</span>
<a name="l00353"></a>00353 <span class="preprocessor"></span>                                cout &lt;&lt; <span class="stringliteral">&quot;-------------- e: &quot;</span>&lt;&lt; **it_Ep &lt;&lt;<span class="stringliteral">&quot; --------------&quot;</span>&lt;&lt;endl;
<a name="l00354"></a>00354 <span class="preprocessor">                        #endif</span>
<a name="l00355"></a>00355 <span class="preprocessor"></span>
<a name="l00356"></a>00356                         I = <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>();
<a name="l00357"></a>00357                         O = <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>();
<a name="l00358"></a>00358                         e = **it_Ep;
<a name="l00359"></a>00359 
<a name="l00360"></a>00360                         <span class="keywordflow">if</span>(a_i_empty &amp;&amp; isGequalToC)
<a name="l00361"></a>00361                                 I = <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>(*S_i); <span class="comment">// and O = SetArguments() from before</span>
<a name="l00362"></a>00362                         <span class="keywordflow">else</span>
<a name="l00363"></a>00363                                 callBoundcond(&amp;G, S_i, &amp;e, &amp;O, &amp;I);
<a name="l00364"></a>00364 
<a name="l00365"></a>00365                         <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> Gamma_Down_Si;
<a name="l00366"></a>00366                         <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> Gamma_Down_Si_Minus_O;
<a name="l00367"></a>00367                         <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> I_Intersect_C;
<a name="l00368"></a>00368                         <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a> Si_Minus_O;
<a name="l00369"></a>00369 
<a name="l00370"></a>00370                         <span class="keywordflow">if</span> (O.<a class="code" href="classSetArguments.html#a91e548daa6d0859946c8604b1ebb8c5a" title="Check wether or not this set is empty.">empty</a>()) {
<a name="l00371"></a>00371                                 <span class="keywordflow">if</span> (!I.<a class="code" href="classSetArguments.html#a91e548daa6d0859946c8604b1ebb8c5a" title="Check wether or not this set is empty.">empty</a>()) {
<a name="l00372"></a>00372 
<a name="l00373"></a>00373                                         Gamma_Down_Si = <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>();
<a name="l00374"></a>00374                                         I_Intersect_C = <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>();
<a name="l00375"></a>00375                                         G.<a class="code" href="classSetArguments.html#a58ec72f524211aaf319f6d50a2ab18ce" title="return all nodes contained in the caller set and contained in other.">setSafeRestrict</a>(S_i, &amp;Gamma_Down_Si);
<a name="l00376"></a>00376                                         I.<a class="code" href="classSetArguments.html#ae6761b6c360e440de55c2060ae70981c" title="Intersect this set the `other` set and write the result in `res`.">intersect</a>(&amp;C, &amp;I_Intersect_C);
<a name="l00377"></a>00377 
<a name="l00378"></a>00378                                         <span class="keywordtype">int</span> card_S_i = S_i-&gt;<a class="code" href="classSetArguments.html#a66d5b1cc6b684700c2394a8cf62ef7f0" title="Retuns the cardinality of this set.">cardinality</a>();
<a name="l00379"></a>00379                                         <span class="keywordflow">if</span>(card_S_i &lt; 3 and card_S_i &gt; 0 and Gamma_Down_Si.<a class="code" href="classSetArguments.html#a0c4a6994f83dfccf2d34022cb132b782" title="verify that 2 SetArguments are equal">equal</a>(I_Intersect_C)) {
<a name="l00380"></a>00380                                                 <span class="keywordflow">if</span>(card_S_i==1) { <span class="comment">// qua discrepanza con quanto sostenuto nelle slide. CHIAMO PREFSAT</span>
<a name="l00381"></a>00381                                                         <span class="comment">/*cout &lt;&lt; &quot;expecting a singleton, because |S_i|=1. S_i = &quot; &lt;&lt; *S_i &lt;&lt; endl;</span>
<a name="l00382"></a>00382 <span class="comment">                                                        vector&lt;SetArguments*&gt; singletons = S_i-&gt;getSingletons();</span>
<a name="l00383"></a>00383 <span class="comment">                                                        E_star = SetArgumentsList(singletons);</span>
<a name="l00384"></a>00384 <span class="comment">                                                        cout &lt;&lt; &quot;and NOW, E_star = &quot; &lt;&lt; E_star &lt;&lt; endl;*/</span>
<a name="l00385"></a>00385                                                         callPrefSAT(&amp;(this-&gt;preferred), &amp;Gamma_Down_Si, &amp;I_Intersect_C, &amp;E_star);
<a name="l00386"></a>00386                                                 }
<a name="l00387"></a>00387                                                 <span class="keywordflow">else</span> {
<a name="l00388"></a>00388 <span class="preprocessor">                                                        #ifdef DEBUG_IMPROVING</span>
<a name="l00389"></a>00389 <span class="preprocessor"></span>                                                                cout &lt;&lt; <span class="stringliteral">&quot;&gt;&gt;&gt;&gt;&gt; I should not call prefSAT!&quot;</span> &lt;&lt; endl;
<a name="l00390"></a>00390                                                                 cout &lt;&lt; <span class="stringliteral">&quot;expecting two singletons, because |S_i|=2. S_i = &quot;</span> &lt;&lt; *S_i &lt;&lt; endl;
<a name="l00391"></a>00391 <span class="preprocessor">                                                        #endif</span>
<a name="l00392"></a>00392 <span class="preprocessor"></span>                                                        vector&lt;SetArguments*&gt; singletons = S_i-&gt;<a class="code" href="classSetArguments.html#a83fb1143e82cef2d73fe859cda33f35c" title="convert a SetArguments in a vector of SetArguments">getSingletons</a>();
<a name="l00393"></a>00393                                                         E_star = <a class="code" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a>(singletons);
<a name="l00394"></a>00394                                                 }
<a name="l00395"></a>00395                                         }
<a name="l00396"></a>00396                                         <span class="keywordflow">else</span>
<a name="l00397"></a>00397                                                 callPrefSAT(&amp;(this-&gt;preferred), &amp;Gamma_Down_Si, &amp;I_Intersect_C, &amp;E_star);
<a name="l00398"></a>00398 
<a name="l00399"></a>00399 <span class="preprocessor">                                        #if DEBUG_PREFEXT &gt; 0</span>
<a name="l00400"></a>00400 <span class="preprocessor"></span>                                                cout &lt;&lt; <span class="stringliteral">&quot;prefSAT(&quot;</span>&lt;&lt; Gamma_Down_Si &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; I_Intersect_C &lt;&lt;<span class="stringliteral">&quot; ) returns E_star = &quot;</span>&lt;&lt; E_star &lt;&lt; endl;
<a name="l00401"></a>00401 <span class="preprocessor">                                        #endif</span>
<a name="l00402"></a>00402 <span class="preprocessor"></span>                                }
<a name="l00403"></a>00403                                 <span class="comment">// else, E* &lt;- emptySet is implicit from initialization</span>
<a name="l00404"></a>00404                         }
<a name="l00405"></a>00405                         <span class="keywordflow">else</span> {
<a name="l00406"></a>00406                                 Gamma_Down_Si_Minus_O = <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>();
<a name="l00407"></a>00407                                 Si_Minus_O = <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>();
<a name="l00408"></a>00408                                 S_i-&gt;<a class="code" href="classSetArguments.html#a80e626de391cabfc0a20da509c328055" title="Setmisun.">setminus</a>(&amp;O, &amp;Si_Minus_O);
<a name="l00409"></a>00409                                 I_Intersect_C = <a class="code" href="classSetArguments.html" title="Class encompassing a set of arguments.">SetArguments</a>();
<a name="l00410"></a>00410                                 I.<a class="code" href="classSetArguments.html#ae6761b6c360e440de55c2060ae70981c" title="Intersect this set the `other` set and write the result in `res`.">intersect</a>(&amp;C, &amp;I_Intersect_C);
<a name="l00411"></a>00411                                 G.<a class="code" href="classSetArguments.html#a58ec72f524211aaf319f6d50a2ab18ce" title="return all nodes contained in the caller set and contained in other.">setSafeRestrict</a>(&amp;Si_Minus_O, &amp;Gamma_Down_Si_Minus_O);
<a name="l00412"></a>00412 
<a name="l00413"></a>00413                                 <span class="keywordflow">if</span>(Gamma_Down_Si_Minus_O.<a class="code" href="classSetArguments.html#a0c4a6994f83dfccf2d34022cb132b782" title="verify that 2 SetArguments are equal">equal</a>(I_Intersect_C) and Gamma_Down_Si_Minus_O.<a class="code" href="classSetArguments.html#a66d5b1cc6b684700c2394a8cf62ef7f0" title="Retuns the cardinality of this set.">cardinality</a>()==1) {
<a name="l00414"></a>00414 <span class="preprocessor">                                        #ifdef DEBUG_IMPROVING</span>
<a name="l00415"></a>00415 <span class="preprocessor"></span>                                                cout &lt;&lt; <span class="stringliteral">&quot;°°°°°°°°° I should not call Pref!!!&quot;</span>&lt;&lt; endl;
<a name="l00416"></a>00416 <span class="preprocessor">                                        #endif</span>
<a name="l00417"></a>00417 <span class="preprocessor"></span>                                        vector&lt;SetArguments*&gt; singleton = Gamma_Down_Si_Minus_O.<a class="code" href="classSetArguments.html#a83fb1143e82cef2d73fe859cda33f35c" title="convert a SetArguments in a vector of SetArguments">getSingletons</a>();
<a name="l00418"></a>00418                                         E_star = <a class="code" href="classSetArgumentsVector.html" title="Class representing a vector of labelling assignment.">SetArgumentsVector</a>(singleton);
<a name="l00419"></a>00419                                 }
<a name="l00420"></a>00420                                 <span class="keywordflow">else</span> {
<a name="l00421"></a>00421 <span class="preprocessor">                                        #if DEBUG_PREFEXT &gt; 0</span>
<a name="l00422"></a>00422 <span class="preprocessor"></span>                                                cout &lt;&lt; <span class="stringliteral">&quot;calling recursion: Pref(&quot;</span>&lt;&lt; Gamma_Down_Si_Minus_O &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; I_Intersect_C&lt;&lt;<span class="stringliteral">&quot;)&quot;</span>&lt;&lt; endl;
<a name="l00423"></a>00423 <span class="preprocessor">                                        #endif</span>
<a name="l00424"></a>00424 <span class="preprocessor"></span>                                        E_star = this-&gt;PrefImproved(Gamma_Down_Si_Minus_O, I_Intersect_C);
<a name="l00425"></a>00425                                 }
<a name="l00426"></a>00426                         }
<a name="l00427"></a>00427 <span class="preprocessor">                        #if DEBUG_PREFEXT &gt; 1</span>
<a name="l00428"></a>00428 <span class="preprocessor"></span>                                cout &lt;&lt; <span class="stringliteral">&quot;*************** Ep_new computation *******************&quot;</span>&lt;&lt;endl;
<a name="l00429"></a>00429                                 cout &lt;&lt; <span class="stringliteral">&quot;E_star: &quot;</span>&lt;&lt; E_star &lt;&lt; endl;
<a name="l00430"></a>00430                                 cout &lt;&lt; <span class="stringliteral">&quot;e:      &quot;</span>&lt;&lt; e &lt;&lt; endl;
<a name="l00431"></a>00431                                 cout &lt;&lt; <span class="stringliteral">&quot;Ep_new: &quot;</span>&lt;&lt; Ep_new &lt;&lt; endl;
<a name="l00432"></a>00432 <span class="preprocessor">                        #endif</span>
<a name="l00433"></a>00433 <span class="preprocessor"></span>                        E_star.<a class="code" href="classSetArgumentsVector.html#a92e628177038610e3ec4e34a76e46f6f" title="add to all the set in the SetArgumentsVector the elements stored in the parameter">addSetArgumentsToAll</a>(&amp;e);
<a name="l00434"></a>00434                         Ep_new = Ep_new + E_star;
<a name="l00435"></a>00435 <span class="preprocessor">                        #if DEBUG_PREFEXT &gt; 1</span>
<a name="l00436"></a>00436 <span class="preprocessor"></span>                                cout &lt;&lt; <span class="stringliteral">&quot;e (dopo):&quot;</span>&lt;&lt; e &lt;&lt;endl;
<a name="l00437"></a>00437                                 cout &lt;&lt; <span class="stringliteral">&quot;e cross E_star: &quot;</span>&lt;&lt; E_star &lt;&lt; endl;
<a name="l00438"></a>00438                                 cout &lt;&lt; <span class="stringliteral">&quot;new Ep_new: &quot;</span> &lt;&lt; Ep_new &lt;&lt; endl;
<a name="l00439"></a>00439                                 cout &lt;&lt; <span class="stringliteral">&quot;Ep: &quot;</span>&lt;&lt; Ep &lt;&lt; endl;
<a name="l00440"></a>00440 <span class="preprocessor">                        #endif</span>
<a name="l00441"></a>00441 <span class="preprocessor"></span>                }
<a name="l00442"></a>00442                 Ep = Ep_new;
<a name="l00443"></a>00443         }
<a name="l00444"></a>00444         <span class="keyword">delete</span> S_i;
<a name="l00445"></a>00445         <span class="keyword">delete</span> S_i_prec;
<a name="l00446"></a>00446         <span class="keywordflow">return</span> Ep;
<a name="l00447"></a>00447 }
<a name="l00448"></a>00448 
</pre></div></div><!-- contents -->
</div>
  <div id="nav-path" class="navpath">
    <ul>
      <li class="navelem"><b>PrefAlgorithm.cpp</b>      </li>

    <li class="footer">Generated on Fri Jan 17 2014 11:47:51 for SemOpt by
    <a href="http://www.doxygen.org/index.html">
    <img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.7.6.1 </li>
   </ul>
 </div>


</body>
</html>
